21. Advanced information systems engineering :
پدیدآورنده : Paolo Giorgini, Barbara Weber (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer-aided software engineering, Congresses.,Systems engineering, Congresses.,Computer-aided software engineering.,Systems engineering.
رده :
QA76
.
758
.
C33
2019
22. Advanced information systems engineering workshops :
پدیدآورنده : Marko Bajec, Johann Eder (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer-aided software engineering -- Congresses.,Computer-aided software engineering.,Systems engineering -- Congresses.
رده :
QA76
.
76
.
A65
M375
2012
23. Advanced mathematical & computational tools in metrology VII /
پدیدآورنده : editors, P. Ciarlini [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Measurement, Congresses.,Physical measurements, Congresses.,MATHEMATICS-- Measurement.,Measurement.,Physical measurements.,TECHNOLOGY & ENGINEERING-- Measurement.
رده :
QA465
.
A273
2006eb
24. Advanced programming in web design
پدیدآورنده : Jain, Er.-V.K.,Er.-V.k. Jain
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Internet )computer network(,، WEB )computer program languages(,، Software verification
رده :
TK
5104
.
2
.
W4J3
25. Advanced topics in artificial intelligence :
پدیدآورنده : Norman Foo, (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Apprentissage automatique.,intelligence artificielle -- congrès.,Intelligence artificielle -- Congrès.
26. Advances in Computer Systems Architecture (vol. # 3740) :
پدیدآورنده : edited by Chip-Hong Chang, Thambipillai Srikanthan, Jingling Xue.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Data transmission systems.
27. Advances in Computing and Data Sciences :
پدیدآورنده : edited by Mayank Singh, P.K. Gupta, Vipin Tyagi, Jan Flusser, Tuncer Ören, Rekha Kashyap.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses.,Computer science.
رده :
QA75
.
5
28. Advances in GPU research and practice /
پدیدآورنده : edited by Hamid Sarbazi-Azad.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer graphics.,Graphics processing units-- Programming.,Image processing-- Digital techniques.,Imaging systems.,Computer graphics.,COMPUTERS-- General.,Image processing-- Digital techniques.,Imaging systems.
رده :
T385
29. Advances in Intelligent Computing -- IPMU '94 :
پدیدآورنده : edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer software.
30. Advances in computer science and information technology :
پدیدآورنده : edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Information technology -- Congresses.
31. Advances in computing and data sciences :
پدیدآورنده : Mayank Singh, P.K. Gupta, Vipin Tyagi, Jan Flusser, Tuncer Ören (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer science, Congresses.,Internet of things, Congresses.,Artificial intelligence.,Computer science.,Internet of things.
رده :
QA75
.
5
32. Advances in hardware design and verification: IFIP TC10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal, Canada
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer engineering-- Congresses,، Computer software-- Verification-- Congresses
رده :
TK
7874
.
75
.
I45
1997
33. ]Algor Finite element analysis system[ Software companion with verification examples
پدیدآورنده : ALGOR
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Algor,Data processing ، Finite element method,، Computer-aided engineering
رده :
TA
347
.
F5
A386
34. Algorithms and complexity in mathematics, epistemology, and science :
پدیدآورنده : editors, Ncolas Fillion, Robert M. Corless and Ilias S. Kotsireas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms, Congresses.,Complexity (Philosophy), Congresses.,Mathematics, Congresses.,Science-- Mathematics, Congresses.,Technological complexity, Congresses.,Algorithms.,Complexity (Philosophy),MATHEMATICS-- Numerical Analysis.,Mathematics.,Science-- Mathematics.,Technological complexity.
رده :
QA9
.
58
35. Algorithms and data structures :
پدیدآورنده : Selim G. Akl [and others] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer software.,Data structures (Computer science) -- Congresses.
36. Ambient intelligence-- Software and applications :
پدیدآورنده : Paulo Novais, Davy Preuveneers, and Juan M. Corchado (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Ambient intelligence -- Congresses.,COMPUTERS -- Interactive & Multimedia.,COMPUTERS -- Social Aspects -- Human-Computer Interaction.
38. An Integrated Approach to Software Engineering
پدیدآورنده : by Pankaj Jalote.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Software engineering.
39. An introduction to agent-based modeling :
پدیدآورنده : Uri Wilensky and William Rand
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation,Multiagent systems,NetLogo (Computer program language),System analysis-- Data processing
رده :
T57
.
62
.
W54
2015eb